✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·6h·
Discuss: Hacker News
🔌Embedded
LLM-Generated Rules Engines for LLM Explainability
brain.co·1d·
Discuss: Hacker News
🤖AI
The Capability-Tractability Tradeoff (2023)
buttondown.com·16h·
Discuss: Hacker News
🔌Embedded
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
🔌Embedded
Gauss, an Agent for Autoformalization
math.inc·1d·
Discuss: Hacker News, Hacker News, Hacker News
🤝Using AI for programming
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
🔌Embedded
Defeating Nondeterminism in LLM Inference
simonwillison.net·2d
🔌Embedded
From Legal Documents to Knowledge Graphs
neo4j.com·3h·
Discuss: Hacker News
🤖AI
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·21h·
Discuss: Substack
🤖AI
Death to Type Classes
jappie.me·1d·
Discuss: Hacker News
🔌Embedded
Issue 489
haskellweekly.news·2d·
Discuss: Hacker News
🔌Embedded
Qwen3-Next-80B-A3B - a big step up may be the best open source reasoning model so far
reddit.com·1d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·1d·
Discuss: Hacker News
🤖AI
MiniRust
github.com·13h·
Discuss: Hacker News
🔌Embedded
Betrusted – Building transparent, secure computing from the silicon up
betrusted.io·2h·
Discuss: Hacker News
🔌Embedded
Quantum Algorithm Zoo
quantumalgorithmzoo.org·2d·
Discuss: Hacker News
🔌Embedded
A Positive Lambda: '+[]{}'
stackoverflow.com·1d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Choosing Rust for LLM-generated code
runmat.org·19h·
Discuss: Hacker News
🤝Using AI for programming